Logic Negating Quantifiers